🔍 RegEx Engines - matmat · Scour

The Math Behind the Match: Building Production Search for People Names

hackernoon.com·13h

🌳Trie Structures

Localising Stochasticity in Weighted Automata

arxiv.org·1d

🎯Automata theory

ivanbelenky/nbdantic: humble structure validator for notebooks

github.com·4h·

Discuss: Hacker News, r/Python

✅Format Verification

Rare Not Random – Using Token Efficiency for Secrets Scanning

lookingatcomputer.substack.com·2h·

Discuss: Substack

🌳Huffman Variants

A Diff Preview Of A Regex Replace

irreal.org·17h

🌳Incremental Parsing

A Minimal Agent for Automated Theorem Proving

arxiv.org·1d

✓Automated Theorem Proving

An AI Odyssey, Part 1: Correctness Conundrum

johndcook.com·6h

🔧Hardware Verification

Beyond Pandas: Architecting High-Performance Python Pipelines

hackernoon.com·13h

🌊Stream Processing

Rubenerd: The Gram editor

rubenerd.com·11h

🔗Concatenative Languages

Structured Outputs for LLMs

ternarysearch.blogspot.com·1d·

Discuss: Hacker News, ternarysearch.blogspot.com

🌳Context free grammars

Portswigger Walkthrough Lab: Username enumeration via subtly different responses

infosecwriteups.com

·3h

🌐DNS Security

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

⚔️Lean Tactics

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·16h

🔧Hardware Verification

Build Semantic Search with LLM Embeddings

machinelearningmastery.com·19h

🗂️Vector Search

LLM-Assisted Deanonymization

schneier.com·21h

vermaden.wordpress.com·16h

🔌Operating system internals

Visually secure steganography scheme for color images based on Trans-CS network, Cantor and 4D-TSCNN

sciencedirect.com·1d

🕵️Steganographic Compression

I built a persistent memory layer for AI agents in Rust

news.ycombinator.com·13h·

Discuss: Hacker News

🦀Rust Borrowing

AI Web Search and Scraping

github.com·8h·

Discuss: Hacker News

🕵️Feed Discovery

A rather disorganized rant about LLMs

boston.conman.org·3h

Loading more...